Günter Asser: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Another Proof of the Gödel-Rosser Incompletability Theorem.by László Kalmár

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 202 KB

english, 1965

2

Turing-Maschinen und Markowsche Algorithmen

Journal:

Mathematical Logic Quarterly

Year:

1959

Language:

german

File:

PDF, 1.10 MB

german, 1959

3

Turing-Maschinen und Markowsche Algorithmen

Journal:

Mathematical Logic Quarterly

Year:

1961

Language:

german

File:

PDF, 80 KB

german, 1961

4

Une Notion de Récursivité Relative.by R. Fraïssé

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1967

Language:

english

File:

PDF, 347 KB

english, 1967

5

Normierte Postsche Algorithmen

Journal:

Mathematical Logic Quarterly

Year:

1959

Language:

german

File:

PDF, 631 KB

german, 1959

6

Rekursive Wortfunktionen

Journal:

Mathematical Logic Quarterly

Year:

1960

Language:

german

File:

PDF, 1.05 MB

german, 1960

7

Categorizing Automata by W-machine Programsby C. Y. Lee;On a Proof of Schepherdson's Theoremby Seiiti Huzino; Mariko Yoneyama

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 234 KB

english, 1968

8

Klassen Rekursiver Funktionen.by D. Rödding

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1972

Language:

english

File:

PDF, 223 KB

english, 1972

9

Letter from the outgoing Managing Editor/Letter from the new Managing Editor

Günter Asser, Armin Hemmerling

Journal:

Mathematical Logic Quarterly

Year:

2005

Language:

english

File:

PDF, 57 KB

english, 2005

10

Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet

Journal:

Mathematical Logic Quarterly

Year:

1956

Language:

german

File:

PDF, 964 KB

german, 1956

11

Vorwort

Günter Asser, Karl Sehröter

Journal:

Mathematical Logic Quarterly

Year:

1955

Language:

german

File:

PDF, 112 KB

german, 1955

12

Eine semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe

Journal:

Mathematical Logic Quarterly

Year:

1955

Language:

german

File:

PDF, 1.82 MB

german, 1955

13

Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Reglen.by Heinz Gumin; Hans Hermes

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 345 KB

english, 1965

14

Editorial

Journal:

Mathematical Logic Quarterly

Year:

1993

Language:

english

File:

PDF, 47 KB

english, 1993

15

On the Concept of Categoricityby Andrzej Grzegorczyk;A Kind of Categoricityby A. Grzegorczyk

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1965

File:

PDF, 342 KB

1965

16

Funktionen-Algorithmen

Günter Asser, Vladeta Vučković

Journal:

Mathematical Logic Quarterly

Year:

1961

Language:

german

File:

PDF, 396 KB

german, 1961

17

Axiomatisierung der k-zahlig allgemeingültigen Ausdrücke des Stufenkalküls.Dem Andenken an Hermann Ludwig Schmid gewidmet

Günter Asser, Karl Schröter

Journal:

Mathematische Nachrichten

Year:

1958

Language:

german

File:

PDF, 853 KB

german, 1958

18

Funktionen-Algorithmen und Graphschemata

Journal:

Mathematical Logic Quarterly

Year:

1961

Language:

german

File:

PDF, 328 KB

german, 1961

19

Theorie der Logischen Auswahlfunktionen

Journal:

Mathematical Logic Quarterly

Year:

1957

Language:

german

File:

PDF, 2.31 MB

german, 1957

20

Über Eine Darstellung der Rekursiven Wortfunktionen in Endlichen Automaten

Journal:

Mathematical Logic Quarterly

Year:

1966

Language:

german

File:

PDF, 692 KB

german, 1966

21

Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität

Journal:

Mathematical Logic Quarterly

Year:

1955

Language:

german

File:

PDF, 641 KB

german, 1955

22

Zur Robinson-Charakterisierung Der Einstelligen Primitiv Rekursiven Wortfunktionen

Journal:

Mathematical Logic Quarterly

Year:

1988

Language:

german

File:

PDF, 242 KB

german, 1988

23

Simulatability of Finite Automata by Schepherdson and Sturgis' Machinesby Seiiti Huzino;On the Simulation of Real-Time Turing Machines by a Modified Schepherdson-Sturgis' Machineby Seiiti Huzino

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1968

Language:

english

File:

PDF, 322 KB

english, 1968

24

Computability of Recursive Functionsby J. C. Shepherdson; H. E. Sturgis

Review by: Günter Asser

Journal:

Journal of Symbolic Logic

Year:

1967

File:

PDF, 430 KB

1967

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски